C++ Primer, Quinta Edizione: I Meccanismi del Controllo di Copia

Padroneggiare il ciclo di vita di un oggetto C++ significa comandare i meccanismi stessi dell'esistenza all'interno del heap e dello stack. Il controllo di copia definisce come una classe gestisce il suo ciclo di vita attraverso due operazioni: il costruttore di copia e il operatore di assegnazione di copia.

1. Inizializzazione vs. Assegnazione

Inizializzazione diretta (ad esempio, string dots(10, '.')) chiama direttamente un costruttore. Tuttavia, inizializzazione per copia (string s2 = dots) si basa sul costruttore di copia. A differenza dell'inizializzazione, assegnazione (trans = accum) sovrascrive un oggetto esistente usando operatore=. Un vincolo fondamentale: il parametro del costruttore di copia deve essere un riferimento (const Foo&); altrimenti, passare un argomento per valore attiverebbe un ciclo ricorsivo infinito di chiamate di copia.

2. Il Ruolo della Sintesi

Se non definisci questi membri, il compilatore fornisce versioni sintetizzate che eseguono copie membro per membro. Attento: sebbene sufficienti per tipi semplici, spesso falliscono per classi che gestiscono memoria dinamica, causando puntatori appesi o doppie liberazioni.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Why must the first parameter of a copy constructor be a reference type (usually const)?

To allow the compiler to optimize the code into a move operation.

To prevent infinite recursion during parameter initialization.

Because pointers are not allowed in constructor signatures.

To ensure the object is placed on the heap rather than the stack.

QUESTION 2

What is the primary difference between Copy Initialization and Direct Initialization?

Direct initialization uses the assignment operator; copy initialization does not.

Copy initialization always requires the 'new' keyword.

Direct initialization asks the compiler to find the best constructor; copy initialization requires the copy constructor.

There is no functional difference; they are just different syntax for the same call.

QUESTION 3

Assume 'numbered' has a synthesized copy constructor that copies a unique ID 'mysn'. What happens if you run: numbered a, b = a, c = b;?

Each object (a, b, c) will have a unique 'mysn' value.

The program will fail to compile because IDs cannot be copied.

All three objects will share the exact same 'mysn' value.

Object 'a' will be reset to zero after the copy.

QUESTION 4

Which of the following would trigger a compilation error if the constructor 'vector<int>(int size)' is marked 'explicit'?

vector<int> v(10);

vector<int> v = 10;

f(vector<int>(10));

vector<int>* p = new vector<int>(10);

QUESTION 5

What should a well-behaved copy-assignment operator usually return?

void

A copy of the current object by value.

A reference to the left-hand operand (*this).

The memory address of the right-hand operand.